normal topology

[数] 正规拓扑